Tsankov, Petar : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (20)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2012 7th International Workshop on Automation of Software Test (AST) - Zurich, Switzerland (2012.06.2-2012.06.3)] 2012 7th International Workshop on Automation of Software Test (AST) - SECFUZZ: Fuzz-testing security protocols

Tsankov, Petar, Dashti, Mohammad Torabi, Basin, David

Année:

2012

Langue:

english

Fichier:

PDF, 159 KB

english, 2012

2

[ACM Press the 2016 ACM SIGSAC Conference - Vienna, Austria (2016.10.24-2016.10.28)] Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16 - Statistical Deobfuscation of Android Applications

Bichsel, Benjamin, Raychev, Veselin, Tsankov, Petar, Vechev, Martin

Année:

2016

Langue:

english

Fichier:

PDF, 515 KB

english, 2016

3

Force Open: Lightweight black box file repair

Wüst, Karl, Tsankov, Petar, Radomirović, Saša, Torabi Dashti, Mohammad

Journal:

Digital Investigation

Année:

2017

Langue:

english

Fichier:

PDF, 559 KB

english, 2017

4

[ACM Press the 2019 ACM SIGSAC Conference - London, United Kingdom (2019.11.11-2019.11.15)] Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS '19 - Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

He, Jingxuan, Balunović, Mislav, Ambroladze, Nodar, Tsankov, Petar, Vechev, Martin

Année:

2019

Fichier:

PDF, 1.48 MB

2019

5

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Semi-valid input coverage for fuzz testing

Tsankov, Petar, Dashti, Mohammad Torabi, Basin, David

Année:

2013

Langue:

english

Fichier:

PDF, 532 KB

english, 2013

6

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Execution Hijacking: Improving Dynamic Analysis by Flying off Course

Tsankov, Petar, Jin, Wei, Orso, Alessandro, Sinha, Saurabh

Année:

2011

Langue:

english

Fichier:

PDF, 521 KB

english, 2011

7

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - Fail-Secure Access Control

Tsankov, Petar, Marinovic, Srdjan, Torabi Dashti, Mohammad, Basin, David

Année:

2014

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2014

8

[ACM Press the 32nd Annual Conference - Los Angeles, California (2016.12.05-2016.12.08)] Proceedings of the 32nd Annual Conference on Computer Security Applications - ACSAC '16 - FASE

Tsankov, Petar, Pistoia, Marco, Tripp, Omer, Vechev, Martin, Ferrara, Pietro

Année:

2016

Langue:

english

Fichier:

PDF, 839 KB

english, 2016

9

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Access Control Synthesis for Physical Spaces

Tsankov, Petar, Dashti, Mohammad Torabi, Basin, David

Année:

2016

Langue:

english

Fichier:

PDF, 408 KB

english, 2016

10

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - Synthesis of Probabilistic Privacy Enforcement

Kučera, Martin, Tsankov, Petar, Gehr, Timon, Guarnieri, Marco, Vechev, Martin

Année:

2017

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2017

11

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Inferring crypto API rules from code changes

Paletov, Rumen, Tsankov, Petar, Raychev, Veselin, Vechev, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2018

12

[IEEE 2018 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2018.5.20-2018.5.24)] 2018 IEEE Symposium on Security and Privacy (SP) - AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Gehr, Timon, Mirman, Matthew, Drachsler-Cohen, Dana, Tsankov, Petar, Chaudhuri, Swarat, Vechev, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 482 KB

english, 2018

13

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Bayonet: probabilistic inference for networks

Gehr, Timon, Misailovic, Sasa, Tsankov, Petar, Vanbever, Laurent, Wiesmann, Pascal, Vechev, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 450 KB

english, 2018

14

[ACM Press the 2018 ACM SIGSAC Conference - Toronto, Canada (2018.10.15-2018.10.19)] Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18 - Securify

Tsankov, Petar, Dan, Andrei, Drachsler-Cohen, Dana, Gervais, Arthur, Bünzli, Florian, Vechev, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 2.06 MB

english, 2018

15

[ACM Press the 2018 ACM SIGSAC Conference - Toronto, Canada (2018.10.15-2018.10.19)] Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18 - Debin

He, Jingxuan, Ivanov, Pesho, Tsankov, Petar, Raychev, Veselin, Vechev, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2018

16

[ACM Press the 2018 ACM SIGSAC Conference - Toronto, Canada (2018.10.15-2018.10.19)] Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18 - DP-Finder

Bichsel, Benjamin, Gehr, Timon, Drachsler-Cohen, Dana, Tsankov, Petar, Vechev, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 3.12 MB

english, 2018

17

[ACM Press the 2019 ACM SIGSAC Conference - London, United Kingdom (2019.11.11-2019.11.15)] Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS '19 - zkay

Steffen, Samuel, Bichsel, Benjamin, Gersbach, Mario, Melchior, Noa, Tsankov, Petar, Vechev, Martin

Année:

2019

Langue:

english

Fichier:

PDF, 2.09 MB

english, 2019

18

[IEEE 2019 29th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE) - Ruse, Bulgaria (2019.9.4-2019.9.6)] 2019 29th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE) - Application of Number Theoretic Transformations for Signal Processing in Radar Sensors

Iliev, Mihail, Bedzheva, Monika, Boyanov, Petar, Bedzhev, Borislav, Tsankov, Tsvetoslav

Année:

2019

Fichier:

PDF, 565 KB

2019

19

[IEEE 2019 29th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE) - Ruse, Bulgaria (2019.9.4-2019.9.6)] 2019 29th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE) - Requirements to the Personal Work Stations in the University's Computer Laboratories

Iliev, Mihail, Bedzheva, Monika, Boyanov, Petar, Bedzhev, Borislav, Tsankov, Tsvetoslav

Année:

2019

Langue:

english

Fichier:

PDF, 2.92 MB

english, 2019

20

[IEEE 2020 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2020.5.18-2020.5.21)] 2020 IEEE Symposium on Security and Privacy (SP) - VerX: Safety Verification of Smart Contracts

Permenev, Anton, Dimitrov, Dimitar, Tsankov, Petar, Drachsler-Cohen, Dana, Vechev, Martin

Année:

2020

Fichier:

PDF, 481 KB

2020